public protocol P {
}
